Définition :
Un ensemble de la forme $${{[AB)}}={{\{A+\lambda\overrightarrow{AB}\mid\lambda\in[0,\infty[\} }}$$
Est dit demi-droite fermée d'extrémité \(A\) et de direction \(B\)
Définition :
Un ensemble de la forme $${{]AB)}}={{\{A+\lambda\overrightarrow{AB}\mid\lambda\in[0,\infty[\} }}$$
Est dit demi-droite ouverte d'extrémité \(A\) et de direction \(B\)
(Translation)
Propriétés
Egalité
Proposition :
\([AB)=[CD)\) si et seulement si \(A=C\) et \(D\in[AB)\) (ou \(B\in[CD)\))